Optimal. Leaf size=223 \[ -\frac {4 c^2 d \left (3 a e^2+5 c d^2\right ) (d+e x)^{m+4}}{e^7 (m+4)}+\frac {3 c^2 \left (a e^2+5 c d^2\right ) (d+e x)^{m+5}}{e^7 (m+5)}+\frac {\left (a e^2+c d^2\right )^3 (d+e x)^{m+1}}{e^7 (m+1)}-\frac {6 c d \left (a e^2+c d^2\right )^2 (d+e x)^{m+2}}{e^7 (m+2)}+\frac {3 c \left (a e^2+c d^2\right ) \left (a e^2+5 c d^2\right ) (d+e x)^{m+3}}{e^7 (m+3)}-\frac {6 c^3 d (d+e x)^{m+6}}{e^7 (m+6)}+\frac {c^3 (d+e x)^{m+7}}{e^7 (m+7)} \]
________________________________________________________________________________________
Rubi [A] time = 0.13, antiderivative size = 223, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {697} \begin {gather*} -\frac {4 c^2 d \left (3 a e^2+5 c d^2\right ) (d+e x)^{m+4}}{e^7 (m+4)}+\frac {3 c^2 \left (a e^2+5 c d^2\right ) (d+e x)^{m+5}}{e^7 (m+5)}+\frac {\left (a e^2+c d^2\right )^3 (d+e x)^{m+1}}{e^7 (m+1)}-\frac {6 c d \left (a e^2+c d^2\right )^2 (d+e x)^{m+2}}{e^7 (m+2)}+\frac {3 c \left (a e^2+c d^2\right ) \left (a e^2+5 c d^2\right ) (d+e x)^{m+3}}{e^7 (m+3)}-\frac {6 c^3 d (d+e x)^{m+6}}{e^7 (m+6)}+\frac {c^3 (d+e x)^{m+7}}{e^7 (m+7)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 697
Rubi steps
\begin {align*} \int (d+e x)^m \left (a+c x^2\right )^3 \, dx &=\int \left (\frac {\left (c d^2+a e^2\right )^3 (d+e x)^m}{e^6}-\frac {6 c d \left (c d^2+a e^2\right )^2 (d+e x)^{1+m}}{e^6}+\frac {3 c \left (c d^2+a e^2\right ) \left (5 c d^2+a e^2\right ) (d+e x)^{2+m}}{e^6}-\frac {4 c^2 d \left (5 c d^2+3 a e^2\right ) (d+e x)^{3+m}}{e^6}+\frac {3 c^2 \left (5 c d^2+a e^2\right ) (d+e x)^{4+m}}{e^6}-\frac {6 c^3 d (d+e x)^{5+m}}{e^6}+\frac {c^3 (d+e x)^{6+m}}{e^6}\right ) \, dx\\ &=\frac {\left (c d^2+a e^2\right )^3 (d+e x)^{1+m}}{e^7 (1+m)}-\frac {6 c d \left (c d^2+a e^2\right )^2 (d+e x)^{2+m}}{e^7 (2+m)}+\frac {3 c \left (c d^2+a e^2\right ) \left (5 c d^2+a e^2\right ) (d+e x)^{3+m}}{e^7 (3+m)}-\frac {4 c^2 d \left (5 c d^2+3 a e^2\right ) (d+e x)^{4+m}}{e^7 (4+m)}+\frac {3 c^2 \left (5 c d^2+a e^2\right ) (d+e x)^{5+m}}{e^7 (5+m)}-\frac {6 c^3 d (d+e x)^{6+m}}{e^7 (6+m)}+\frac {c^3 (d+e x)^{7+m}}{e^7 (7+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.66, size = 379, normalized size = 1.70 \begin {gather*} \frac {(d+e x)^{m+1} \left (\frac {6 \left ((m+6) \left (a e^2+c d^2\right ) \left (4 (m+4) \left (a e^2+c d^2\right ) \left (a e^2 \left (m^2+5 m+6\right )+c \left (2 d^2-2 d e (m+1) x+e^2 \left (m^2+3 m+2\right ) x^2\right )\right )-4 c d (m+1) (d+e x) \left (a e^2 \left (m^2+7 m+12\right )+c \left (2 d^2-2 d e (m+2) x+e^2 \left (m^2+5 m+6\right ) x^2\right )\right )+e^4 (m+1) (m+2) (m+3) (m+4) \left (a+c x^2\right )^2\right )-c d (m+1) (d+e x) \left (4 (m+5) \left (a e^2+c d^2\right ) \left (a e^2 \left (m^2+7 m+12\right )+c \left (2 d^2-2 d e (m+2) x+e^2 \left (m^2+5 m+6\right ) x^2\right )\right )-4 c d (m+2) (d+e x) \left (a e^2 \left (m^2+9 m+20\right )+c \left (2 d^2-2 d e (m+3) x+e^2 \left (m^2+7 m+12\right ) x^2\right )\right )+e^4 (m+2) (m+3) (m+4) (m+5) \left (a+c x^2\right )^2\right )\right )}{e^6 (m+1) (m+2) (m+3) (m+4) (m+5) (m+6)}+\left (a+c x^2\right )^3\right )}{e (m+7)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.07, size = 0, normalized size = 0.00 \begin {gather*} \int (d+e x)^m \left (a+c x^2\right )^3 \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.44, size = 1250, normalized size = 5.61
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.25, size = 2080, normalized size = 9.33
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.05, size = 1140, normalized size = 5.11 \begin {gather*} \frac {\left (c^{3} e^{6} m^{6} x^{6}+21 c^{3} e^{6} m^{5} x^{6}+3 a \,c^{2} e^{6} m^{6} x^{4}-6 c^{3} d \,e^{5} m^{5} x^{5}+175 c^{3} e^{6} m^{4} x^{6}+69 a \,c^{2} e^{6} m^{5} x^{4}-90 c^{3} d \,e^{5} m^{4} x^{5}+735 c^{3} e^{6} m^{3} x^{6}+3 a^{2} c \,e^{6} m^{6} x^{2}-12 a \,c^{2} d \,e^{5} m^{5} x^{3}+621 a \,c^{2} e^{6} m^{4} x^{4}+30 c^{3} d^{2} e^{4} m^{4} x^{4}-510 c^{3} d \,e^{5} m^{3} x^{5}+1624 c^{3} e^{6} m^{2} x^{6}+75 a^{2} c \,e^{6} m^{5} x^{2}-228 a \,c^{2} d \,e^{5} m^{4} x^{3}+2775 a \,c^{2} e^{6} m^{3} x^{4}+300 c^{3} d^{2} e^{4} m^{3} x^{4}-1350 c^{3} d \,e^{5} m^{2} x^{5}+1764 c^{3} e^{6} m \,x^{6}+a^{3} e^{6} m^{6}-6 a^{2} c d \,e^{5} m^{5} x +741 a^{2} c \,e^{6} m^{4} x^{2}+36 a \,c^{2} d^{2} e^{4} m^{4} x^{2}-1572 a \,c^{2} d \,e^{5} m^{3} x^{3}+6432 a \,c^{2} e^{6} m^{2} x^{4}-120 c^{3} d^{3} e^{3} m^{3} x^{3}+1050 c^{3} d^{2} e^{4} m^{2} x^{4}-1644 c^{3} d \,e^{5} m \,x^{5}+720 c^{3} e^{6} x^{6}+27 a^{3} e^{6} m^{5}-138 a^{2} c d \,e^{5} m^{4} x +3657 a^{2} c \,e^{6} m^{3} x^{2}+576 a \,c^{2} d^{2} e^{4} m^{3} x^{2}-4812 a \,c^{2} d \,e^{5} m^{2} x^{3}+7236 a \,c^{2} e^{6} m \,x^{4}-720 c^{3} d^{3} e^{3} m^{2} x^{3}+1500 c^{3} d^{2} e^{4} m \,x^{4}-720 c^{3} d \,e^{5} x^{5}+295 a^{3} e^{6} m^{4}+6 a^{2} c \,d^{2} e^{4} m^{4}-1206 a^{2} c d \,e^{5} m^{3} x +9336 a^{2} c \,e^{6} m^{2} x^{2}-72 a \,c^{2} d^{3} e^{3} m^{3} x +2988 a \,c^{2} d^{2} e^{4} m^{2} x^{2}-6480 a \,c^{2} d \,e^{5} m \,x^{3}+3024 a \,c^{2} e^{6} x^{4}+360 c^{3} d^{4} e^{2} m^{2} x^{2}-1320 c^{3} d^{3} e^{3} m \,x^{3}+720 c^{3} d^{2} e^{4} x^{4}+1665 a^{3} e^{6} m^{3}+132 a^{2} c \,d^{2} e^{4} m^{3}-4902 a^{2} c d \,e^{5} m^{2} x +11388 a^{2} c \,e^{6} m \,x^{2}-1008 a \,c^{2} d^{3} e^{3} m^{2} x +5472 a \,c^{2} d^{2} e^{4} m \,x^{2}-3024 a \,c^{2} d \,e^{5} x^{3}+1080 c^{3} d^{4} e^{2} m \,x^{2}-720 c^{3} d^{3} e^{3} x^{3}+5104 a^{3} e^{6} m^{2}+1074 a^{2} c \,d^{2} e^{4} m^{2}-8868 a^{2} c d \,e^{5} m x +5040 a^{2} c \,e^{6} x^{2}+72 a \,c^{2} d^{4} e^{2} m^{2}-3960 a \,c^{2} d^{3} e^{3} m x +3024 a \,c^{2} d^{2} e^{4} x^{2}-720 c^{3} d^{5} e m x +720 c^{3} d^{4} e^{2} x^{2}+8028 a^{3} e^{6} m +3828 a^{2} c \,d^{2} e^{4} m -5040 a^{2} c d \,e^{5} x +936 a \,c^{2} d^{4} e^{2} m -3024 a \,c^{2} d^{3} e^{3} x -720 c^{3} d^{5} e x +5040 a^{3} e^{6}+5040 a^{2} c \,d^{2} e^{4}+3024 a \,c^{2} d^{4} e^{2}+720 c^{3} d^{6}\right ) \left (e x +d \right )^{m +1}}{\left (m^{7}+28 m^{6}+322 m^{5}+1960 m^{4}+6769 m^{3}+13132 m^{2}+13068 m +5040\right ) e^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.56, size = 472, normalized size = 2.12 \begin {gather*} \frac {{\left (e x + d\right )}^{m + 1} a^{3}}{e {\left (m + 1\right )}} + \frac {3 \, {\left ({\left (m^{2} + 3 \, m + 2\right )} e^{3} x^{3} + {\left (m^{2} + m\right )} d e^{2} x^{2} - 2 \, d^{2} e m x + 2 \, d^{3}\right )} {\left (e x + d\right )}^{m} a^{2} c}{{\left (m^{3} + 6 \, m^{2} + 11 \, m + 6\right )} e^{3}} + \frac {3 \, {\left ({\left (m^{4} + 10 \, m^{3} + 35 \, m^{2} + 50 \, m + 24\right )} e^{5} x^{5} + {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} d e^{4} x^{4} - 4 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} d^{2} e^{3} x^{3} + 12 \, {\left (m^{2} + m\right )} d^{3} e^{2} x^{2} - 24 \, d^{4} e m x + 24 \, d^{5}\right )} {\left (e x + d\right )}^{m} a c^{2}}{{\left (m^{5} + 15 \, m^{4} + 85 \, m^{3} + 225 \, m^{2} + 274 \, m + 120\right )} e^{5}} + \frac {{\left ({\left (m^{6} + 21 \, m^{5} + 175 \, m^{4} + 735 \, m^{3} + 1624 \, m^{2} + 1764 \, m + 720\right )} e^{7} x^{7} + {\left (m^{6} + 15 \, m^{5} + 85 \, m^{4} + 225 \, m^{3} + 274 \, m^{2} + 120 \, m\right )} d e^{6} x^{6} - 6 \, {\left (m^{5} + 10 \, m^{4} + 35 \, m^{3} + 50 \, m^{2} + 24 \, m\right )} d^{2} e^{5} x^{5} + 30 \, {\left (m^{4} + 6 \, m^{3} + 11 \, m^{2} + 6 \, m\right )} d^{3} e^{4} x^{4} - 120 \, {\left (m^{3} + 3 \, m^{2} + 2 \, m\right )} d^{4} e^{3} x^{3} + 360 \, {\left (m^{2} + m\right )} d^{5} e^{2} x^{2} - 720 \, d^{6} e m x + 720 \, d^{7}\right )} {\left (e x + d\right )}^{m} c^{3}}{{\left (m^{7} + 28 \, m^{6} + 322 \, m^{5} + 1960 \, m^{4} + 6769 \, m^{3} + 13132 \, m^{2} + 13068 \, m + 5040\right )} e^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.05, size = 1144, normalized size = 5.13 \begin {gather*} \frac {{\left (d+e\,x\right )}^m\,\left (a^3\,d\,e^6\,m^6+27\,a^3\,d\,e^6\,m^5+295\,a^3\,d\,e^6\,m^4+1665\,a^3\,d\,e^6\,m^3+5104\,a^3\,d\,e^6\,m^2+8028\,a^3\,d\,e^6\,m+5040\,a^3\,d\,e^6+6\,a^2\,c\,d^3\,e^4\,m^4+132\,a^2\,c\,d^3\,e^4\,m^3+1074\,a^2\,c\,d^3\,e^4\,m^2+3828\,a^2\,c\,d^3\,e^4\,m+5040\,a^2\,c\,d^3\,e^4+72\,a\,c^2\,d^5\,e^2\,m^2+936\,a\,c^2\,d^5\,e^2\,m+3024\,a\,c^2\,d^5\,e^2+720\,c^3\,d^7\right )}{e^7\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )}-\frac {x\,{\left (d+e\,x\right )}^m\,\left (-a^3\,e^7\,m^6-27\,a^3\,e^7\,m^5-295\,a^3\,e^7\,m^4-1665\,a^3\,e^7\,m^3-5104\,a^3\,e^7\,m^2-8028\,a^3\,e^7\,m-5040\,a^3\,e^7+6\,a^2\,c\,d^2\,e^5\,m^5+132\,a^2\,c\,d^2\,e^5\,m^4+1074\,a^2\,c\,d^2\,e^5\,m^3+3828\,a^2\,c\,d^2\,e^5\,m^2+5040\,a^2\,c\,d^2\,e^5\,m+72\,a\,c^2\,d^4\,e^3\,m^3+936\,a\,c^2\,d^4\,e^3\,m^2+3024\,a\,c^2\,d^4\,e^3\,m+720\,c^3\,d^6\,e\,m\right )}{e^7\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )}+\frac {c^3\,x^7\,{\left (d+e\,x\right )}^m\,\left (m^6+21\,m^5+175\,m^4+735\,m^3+1624\,m^2+1764\,m+720\right )}{m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040}+\frac {3\,c^2\,x^5\,{\left (d+e\,x\right )}^m\,\left (-2\,c\,d^2\,m+a\,e^2\,m^2+13\,a\,e^2\,m+42\,a\,e^2\right )\,\left (m^4+10\,m^3+35\,m^2+50\,m+24\right )}{e^2\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )}+\frac {3\,c\,x^3\,{\left (d+e\,x\right )}^m\,\left (m^2+3\,m+2\right )\,\left (a^2\,e^4\,m^4+22\,a^2\,e^4\,m^3+179\,a^2\,e^4\,m^2+638\,a^2\,e^4\,m+840\,a^2\,e^4-4\,a\,c\,d^2\,e^2\,m^3-52\,a\,c\,d^2\,e^2\,m^2-168\,a\,c\,d^2\,e^2\,m-40\,c^2\,d^4\,m\right )}{e^4\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )}+\frac {c^3\,d\,m\,x^6\,{\left (d+e\,x\right )}^m\,\left (m^5+15\,m^4+85\,m^3+225\,m^2+274\,m+120\right )}{e\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )}+\frac {3\,c^2\,d\,m\,x^4\,{\left (d+e\,x\right )}^m\,\left (m^3+6\,m^2+11\,m+6\right )\,\left (10\,c\,d^2+a\,e^2\,m^2+13\,a\,e^2\,m+42\,a\,e^2\right )}{e^3\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )}+\frac {3\,c\,d\,m\,x^2\,\left (m+1\right )\,{\left (d+e\,x\right )}^m\,\left (a^2\,e^4\,m^4+22\,a^2\,e^4\,m^3+179\,a^2\,e^4\,m^2+638\,a^2\,e^4\,m+840\,a^2\,e^4+12\,a\,c\,d^2\,e^2\,m^2+156\,a\,c\,d^2\,e^2\,m+504\,a\,c\,d^2\,e^2+120\,c^2\,d^4\right )}{e^5\,\left (m^7+28\,m^6+322\,m^5+1960\,m^4+6769\,m^3+13132\,m^2+13068\,m+5040\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________